Profile of Nancy Craig

Nancy Knowlton

Alexander Sulakvelidze, Chief Scientist at Intralytix and one of its co-founders, says phages are a very safe and natural way of protecting food against bacteria. “The concept of using phages for improving food safety is based on simply applying phages back onto the foods in the right concentration, at the right place, and at the right time,” Sulakvelidze explains. “Thus, applying lytic phages ...

Reviewer : Craig

Minshew, Nancy J

This is the most difficult aspect of seizure management, clearly the most critical, and yet it receives relatively little attention. Despite the sophistication of electrophysiologic methods for the diagnosis of seizures, the majority of patients will be assessed without the benefit of any technology beyond the routine scalp recording. Unfortunately, physicians are generally quite reluctant to m...

Craig Interpolation of PDL

It seems to be an open question whether Propositional Dynamic Logic (PDL) has Craig Interpolation. In fact, it even seems to be an open question if this is an open question: Multiple proofs have been claimed to be found but all of them also have been claimed to be wrong, both more or less publicly. This report tries to clarify the situation by discussing the proof by Daniel Leivant [11] from 19...

Craig Interpretation

Abstract interpretation (AI) is one of the most scalable automated approaches to program verification available today. To achieve efficiency, many steps of the analysis, e.g., joins and widening, lose precision. As a result, AI often produces false alarms, coming from the inability to find a safe inductive invariant even when it exists in a chosen abstract domain. To tackle this problem, we pre...